A survey of works on automatic theorem-proving in the ussr 1964-1970. the philosophical problems are not touched.

Evolutionary developmental biology (evo-devo) has undergone dramatic transformations since its emergence as a distinct discipline. This paper aims to highlight the scope, power, and future promise of evo-devo to transform and unify diverse aspects of biology. We articulate key questions at the core of eleven biological disciplines—from Evolution, Development, Paleontology, and Neurobiology to Cellular and Molecular Biology, Quantitative Genetics, Human Diseases, Ecology, Agriculture and Science Education, and lastly, Evolutionary Developmental Biology itself—and discuss why evo-devo is uniquely situated to substantially improve (...) our ability to find meaningful answers to these fundamental questions. We posit that the tools, concepts, and ways of thinking developed by evo-devo have profound potential to advance, integrate, and unify biological sciences as well as inform policy decisions and illuminate science education. We look to the next generation of evolutionary developmental biologists to help shape this process as we confront the scientific challenges of the 21st century. (shrink)

BackgroundPreprint usage is growing rapidly in the life sciences; however, questions remain on the relative quality of preprints when compared to published articles. An objective dimension of quality that is readily measurable is completeness of reporting, as transparency can improve the reader’s ability to independently interpret data and reproduce findings.MethodsIn this observational study, we initially compared independent samples of articles published in bioRxiv and in PubMed-indexed journals in 2016 using a quality of reporting questionnaire. After that, we performed paired comparisons (...) between preprints from bioRxiv to their own peer-reviewed versions in journals.ResultsPeer-reviewed articles had, on average, higher quality of reporting than preprints, although the difference was small, with absolute differences of 5.0% [95% CI 1.4, 8.6] and 4.7% [95% CI 2.4, 7.0] of reported items in the independent samples and paired sample comparison, respectively. There were larger differences favoring peer-reviewed articles in subjective ratings of how clearly titles and abstracts presented the main findings and how easy it was to locate relevant reporting information. Changes in reporting from preprints to peer-reviewed versions did not correlate with the impact factor of the publication venue or with the time lag from bioRxiv to journal publication.ConclusionsOur results suggest that, on average, publication in a peer-reviewed journal is associated with improvement in quality of reporting. They also show that quality of reporting in preprints in the life sciences is within a similar range as that of peer-reviewed articles, albeit slightly lower on average, supporting the idea that preprints should be considered valid scientific contributions. (shrink)

BackgroundIn the Canadian Alliance for Healthy Hearts and Minds (CAHHM) cohort, participants underwent magnetic resonance imaging (MRI) of the brain, heart, and abdomen, that generated incidental findings (IFs). The approach to managing these unexpected results remain a complex issue. Our objectives were to describe the CAHHM policy for the management of IFs, to understand the impact of disclosing IFs to healthy research participants, and to reflect on the ethical obligations of researchers in future MRI studies.MethodsBetween 2013 and 2019, 8252 participants (...) (mean age 58 ± 9 years, 54% women) were recruited with a follow-up questionnaire administered to 909 participants (40% response rate) at 1-year. The CAHHM policy followed a restricted approach, whereby routine feedback on IFs was not provided. Only IFs of severe structural abnormalities were reported.ResultsSevere structural abnormalities occurred in 8.3% (95% confidence interval 7.7–8.9%) of participants, with the highest proportions found in the brain (4.2%) and abdomen (3.1%). The majority of participants (97%) informed of an IF reported no change in quality of life, with 3% of participants reporting that the knowledge of an IF negatively impacted their quality of life. Furthermore, 50% reported increased stress in learning about an IF, and in 95%, the discovery of an IF did not adversely impact his/her life insurance policy. Most participants (90%) would enrol in the study again and perceived the MRI scan to be beneficial, regardless of whether they were informed of IFs. While the implications of a restricted approach to IF management was perceived to be mostly positive, a degree of diagnostic misconception was present amongst participants, indicating the importance of a more thorough consent process to support participant autonomy.ConclusionThe management of IFs from research MRI scans remain a challenging issue, as participants may experience stress and a reduced quality of life when IFs are disclosed. The restricted approach to IF management in CAHHM demonstrated a fair fulfillment of the overarching ethical principles of respect for autonomy, concern for wellbeing, and justice. The approach outlined in the CAHHM policy may serve as a framework for future research studies.Clinical trial registrationhttps://clinicaltrials.gov/ct2/show/nct02220582. (shrink)

Introdução a Levinas a partir da discussão sobre a problemática da subjetividade.

Upon mention of the logical structure of anything in the title of a book, many of us will, no doubt, recall a certain strain of philosophy of a few generations ago, one that ascribed to logic a centrality it has seldom enjoyed before or since. Thus might one easily be steered off course in trying to guess Andreas Blank’s primary thesis from the title he chose for his work. The reference to Carnap’s Der logische Aufbau der Welt is only an (...) apparent one: not only does the author of Der logische Aufbau von Leibniz’ Metaphysik not believe that Leibniz’s metaphysics is constructed from logic in the same way that Carnap took the world to be logically aufgebaut, but indeed, one gets the impression that it is the main purpose of this informative and well-argued new book to downplay the role of logic in the development of Leibniz’s metaphysics. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Memory in Augustine’s Theological Anthropology by Paige E. HochschildJoseph T. Lienhard, S.J.Memory in Augustine’s Theological Anthropology. By Paige E. Hochschild. Oxford: Oxford University Press, 2012. Pp. 251. $125.00 (cloth). ISBN 978-0-19-964302-8.When students of St. Augustine consider his teaching on memory, they turn instinctively to the Confessions, book 10, and to On the Trinity, books 11 and 12. The lyrical passage in the Confessions is easy to teach and (...) intriguing in its contents. Paige Hochschild paints a much larger picture, drawing on far more sources. She also sees memory as a central category in Augustine’s thought. In the opening paragraph of the introduction, she describes memory (for Augustine) as the way the mind meets the world, as the way things external to the body are apprehended, as the way intelligible objects are known, and as what it means to be constituted in the image of God. This is a big order. And “order,” in Augustine’s sense, is key: the mind, as memory, brings order to the natural world, but also brings to light a providential order that is implicit in the sensible.The book is divided into three parts: (1) the philosophical tradition (Plato, Aristotle, and Plotinus), (2) Augustine’s earlier writings (from the Cassiciacum dialogues up to De magistro and De musica), and (3) the Confessions and De trinitate. The conclusion of this complex study is that memory is salvific: it accounts for the soul’s progress by the dialectical play of the knowledge and love of what is possessed, yet not possessed. The lifelong process of healing in which memory functions is fulfilled in contemplation.Two characteristics of Hochschild’s book can be mentioned at the outset. First, she studies each author diachronically, measuring progress and growth in the author’s thought, and particularly in his understanding of memory. Second, she readily invokes a wide range of categories to explain and illuminate her main topic. The book is anything but an extended encyclopedia article on “memoria in Augustine.” The two principal terms in the title, “memory” and “theological anthropology,” are richly developed and elaborated.Chapter 1 begins with a short note on Augustine’s knowledge of Plato. It is generally admitted that Augustine read some of the dialogues of Plato in translation: the Timaeus, the Republic (albeit only parts of it), the Phaedo, and the Phaedrus. Some of these works, at least, may have come down to him through doxographers. But Plato’s influence on Augustine remains shadowy. It is “Platonism,” and particularly Plotinus, that influences him so clearly, a point made memorably in Confessions 7.9.13-15, and its intriguing reference to the libri Platonicorum. Before all else, Platonism delivers Augustine from the bondage of materialism.Hochschild treats Plato’s doctrine of memory under four headings: sense perception, knowledge as recollection, divisions in the ways of knowing, and the practice of dialectic. In regard to sense perception, the sharp distinction (found in the Republic) between opinion (doxa) and knowledge (epistêmê) [End Page 144] needs to be refined, Hochschild avers. At least in some later works, the sensible is an image of the intelligible, and hence some sense perception can be infallible. On the next topic, Plato invokes recollection to explain direct apprehension of the forms, but recollection does not recall what was perceived in the past but is a restoration of a clear, logical relationship. The Republic introduces a new element, “the illuminative power of the Good” (21). The final section of chapter 1 treats dialectic, concluding that “knowledge is fulfilled in virtue, and the art of dialectic is not merely an exercise in definition, but a hexis, and a way of living” (27).Chapter 2, on Aristotle, begins with the observation that, if Plato’s influence on Augustine was indirect, Aristotle’s was even more indirect, reaching Augustine through Plotinus. Most familiar, of course, are Augustine’s account of reading Aristotle’s Categories during his days at Carthage (Confessions 4.16.28-31) and his later use of the categories of substance and relation in his understanding of the Trinity, creating the category of “substantial relation,” which would... (shrink)

This paper offers a detailed account of arguments in De Caelo I by which Aristotle tried to demonstrate the necessity of the perpetual existence and the perpetual rotation of the cosmos. On our interpretation, Aristotle’s arguments are naturalistic. Instead of being based (as many have thought) on rules of logic and language, they depend, we argue, on natural science theories about abilities (δυνάμεις), e.g., to move and to change, which things have by nature and about the conditions under which these (...) abilities can be exercised. Our interpretation locates the De Caelo arguments in the context of some central doctrines of the Organon, the Metaphysics, the Physics, and other texts. The De Caelo arguments fit a number of views developed in these texts. Aristotle’s treatments of local motion, of natural motion and change, of necessity and possibility, and of abilities and their exercises are examples. But, as we interpret them, the De Caelo arguments raise serious questions about the role of (and the need for) Metaphysics A’s soulful Unmoved Mover in Aristotle’s overall natural-scientific picture. (shrink)